Статья

Название статьи

ФОРМАЛИЗАЦИЯ МОДЕЛЕЙ ВЫПОЛНЕНИЯ  ФУНКЦИОНАЛЬНЫХ БЛОКОВ IEC 61499 

Авторы

Дубинин Виктор Николаевич, кандидат технических наук, доцент, кафедра вычислительной техники, Пензенский государственный университет, victor_n_dubinin@yahoo.com
Вяткин Валерий Владимирович,  доктор технических наук, профессор, факультет электронных и компьютерных наук, Оклендский университет (г. Окленд, Новая Зеландия), victor_n_dubinin@yahoo.com 

Индекс УДК

004.423.4 

Аннотация

Рассматривается формализованное представление моделей выполнения функциональных блоков международного стандарта IEC 61499 на основе функций возбуждения функциональных блоков, построенных с использованием предикатов и функций времени выполнения. Предлагается расширенный набор моделей выполнения функциональных блоков, включающий как традиционные модели, так и нетрадиционные. Освещаются вопросы обработки входных событий в моделях выполнения. 

Ключевые слова

функциональный блок, стандарт IEC 61499, модель выполнения, классификация, формализация, семантика, функция возбуждения. 

 

 Скачать статью в формате PDF

Список литературы

1. International Standard IEC 61499. Function blocks for industrial-process measurement and control systems. Part 1: Architecture / International Electrotechnical Commission. – Geneva, 2005. – 111 p.
2. Vyatkin, V. The IEC 61499 Standard and its Semantics / V. Vyatkin // IEEE Industrial Electronics Magazine. – V. 3, № 4. – 2009. – P. 40–48.
3. Дубинин, В. Н. Модели последовательного выполнения функциональных блоков IEC 61499 на основе динамически изменяемых приоритетов / В. Н. Дубинин, В. В. Вяткин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 1. – С. 13–22.
4. Yoong, L. H. A Synchronous Approach for IEC 61499 Function Block Implementation / L. H. Yoong, P. S. Roop, V. Vyatkin, Z. Salcic // IEEE Transactions on Computers. – 2009. – V. 58 (12). – P. 1599–1614.
5. Дубинин, В. Н. Разработка интегрированной параметризованной модели выполнения функциональных блоков IEC 61499 с использованием морфологических методов / В. Н. Дубинин, В. В. Вяткин // Современные информационные технологии : сб. статей Международной научно-технической конференции. – Пенза, 2008. – Вып. 7. – С. 146–154.
6. Дубинин, В. Н. Формализованное описание и моделирование систем функциональных блоков IEC 61499 / В. Н. Дубинин, В. В. Вяткин // Известия высших учебных заведений. Поволжский регион. Сер. Технические науки. – 2005. – № 5. – С. 76–89.
7. Котов, В. Е. Сети Петри / В. Е. Котов. – М. : Наука, 1984. – 160 с.
8. Gurevich, Y. Evolving Algebras 1993: Lipari Guide / Y. Gurevich // Specification and Validation Methods. – Oxford University Press, 1995. – P. 9–36.

 

Дата создания: 26.07.2013 14:52
Дата обновления: 26.07.2013 14:52